type mouse_button =
  | GLUT_LEFT_BUTTON
  | GLUT_MIDDLE_BUTTON
  | GLUT_RIGHT_BUTTON
  | GLUT_WHEEL_UP
  | GLUT_WHEEL_DOWN
